1

A SQL to C compiler in 500 lines of code

Year:
2019
Language:
english
File:
PDF, 1.37 MB
english, 2019
15

Global architecture of genetic interactions on the protein network

Year:
2003
Language:
english
File:
PDF, 94 KB
english, 2003
34

LMS-Verify: abstraction without regret for verified systems programming

Year:
2017
Language:
english
File:
PDF, 268 KB
english, 2017
37

Type soundness proofs with definitional interpreters

Year:
2017
Language:
english
File:
PDF, 269 KB
english, 2017
41

Collapsing towers of interpreters

Year:
2017
Language:
english
File:
PDF, 594 KB
english, 2017